A revision of the Nasa ranunculifolia group (Nasa ser. Grandiflorae pro parte, Loasaceae)

NASA / CP - 2008 - 215309 Proceedings of the Sixth NASA Langley

We describe a runtime verification approach to increase the safety of IVHM systems by an integration of TEAMS models and MOP (Monitor-Oriented Programming). The TEAMS model is used to automatically extract relevant runtime information from the controlled system by means of events. This information is passed on-line to the MOP engine, allowing to verify complex temporal properties and to discove...

Overview of the Nasa

The NASA-funded opticai communications program being conducted at JPL is described, The spacecraft transceiver terminal developments, a test infrastructure for assessing the performance of future space terminals, an atmospheric visibility monitoring program, some recent systems-level demonstrations, and a communications technology roadmap for planetary missions over the next 25 years are presen...

2 NASA Aeronautics Blueprint NASA unveiled the Aeronautics

NASA’s Aeronautics Blueprint lays out a research agenda for the Agency’s aeronautics program. The word software appears only four times in this Blueprint, but the critical importance of safe and correct software to the fulfillment of the proposed research is evident on almost every page. Most of the technology solutions proposed to address challenges in aviation are softwaredependent technologi...

Nasa Technical Memorandum Nasa Tm-77435 Shearing Stability of Lubricants

The NASA STI Program

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientiic and Technical Information (STI) Program OOce plays a key part in helping NASA maintain this important role. The NASA STI Program OOce is operated by Langley Research Center, the lead center for NASA's scientiic and technical information. The NASA STI Program OOce provides access t...